"查查詞典"手機版
千萬人都在用的超大詞匯詞典翻譯APP
In predicate logic, generalization (also universal generalization,Copi and CohenHurleyMoore and Parker GEN) is a valid inference rule. It states that if vdash P(x) has been derived, then vdash forall x , P(x) can be derived.
詳細百科解釋